<?php
class User {
	public $uid;
}
?>